open structures
open cic
open csr
open s
open nd

// ------------------------------------------------------------
//  DRR - Definition Requirements Role
// ------------------------------------------------------------

one sig DRR_Client extends DRR {}
one sig DRR_Server extends DRR {}

fact DRR_Server {
	let dm = CIC.rmap[DRR_Server] {
		dm.role in CSR_Server
		dm.signature = S_InventoryItf
		dm.unit.node = ND_B
	}
}

fact DRR_Client {
	let dm = CIC.rmap[DRR_Client] {
		dm.role in CSR_Client
		dm.signature = S_InventoryItf
		dm.unit.node = ND_A

		//dm.unit.feature[FT_Logging] = FV_Logging_ToFile_Foo
	}
}

